<!DOCTYPE html>
<html lang="en">
<head>
    <meta charset="UTF-8">
    <title>websocket</title>
    <script src="/static/websocket.js"></script>
</head>
<body>
  websocket: get server time.
</body>
</html>